Order:
  1.  21
    (1 other version)A Formalisation of the Integers in a Multi‐Successor Arithmetic.P. H. Stanford - 1976 - Mathematical Logic Quarterly 22 (1):119-121.
  2.  11
    Polish circles.P. H. Stanford - 1975 - Mathematical Logic Quarterly 21 (1):395-399.
    Direct download  
     
    Export citation  
     
    Bookmark